public aspect X {
  before(): Y.p() {}
}
